Search Results for 'refinement hopa'

refinement hopa published presentations and documents on DocSlides.

Higher-order Program Verification as Refinement Type

by marina-yarberry

Inference. Hiroshi Unno (University of Tsukuba). ...